Understanding Double Elimination